Don't distribute etc/Old files.

diff --git a/make-dist b/make-dist
index 412234b26e999f860cc8486e0e553ead79c67dee..81cd817b376e26b355455911a6eebf9a3c484633 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -207,6 +207,7 @@ echo "Making links to \`etc'."
  ln [0-9a-zA-Z]* ../${tempdir}/etc
  cd ../${tempdir}/etc
  rm -f DOC* *~ \#*\# *.dvi *.log *,v core
+ rm -fr Old
  rm -f =* TAGS)
 
 echo "Making links to \`cpp'."